\ProvidesPackage{rascal}
\RequirePackage{fancyvrb}
\RequirePackage{alltt}
\RequirePackage{xspace}

\DefineVerbatimEnvironment{rascal}{Verbatim}{}
\DefineVerbatimEnvironment{rascalRepl}{Verbatim}{}
\newenvironment{rascaldoc}{\obeylines\obeyspaces\ttfamily\small}{}
\newcommand{\irascal}[1]{\texttt{#1}}
\newcommand{\irascaldoc}[1]{\texttt{#1}}

\def\Rascal{\textsc{Rascal}\xspace}
